A Method for Symbolic Computation of Abstract Operations? Aditya Thakur1 and Thomas Reps1,2 1 University of Wisconsin; Madison, WI, USA

Source URL: research.cs.wisc.edu

• Symbol
• Abstract interpretation
• Constructible universe
• NC
• Algorithm

J. Symbolic Computation, 351–369 Lattices of Compatibly Embedded Finite Fields† WIEB BOSMA‡, JOHN CANNON§ AND ALLAN STEEL¶ Computational Algebra Group, School of Mathematics and Statistics, The Univers

Source URL: www.math.ru.nl

• Field theory
• Polynomials
• Computer algebra
• Finite fields
• Abstract algebra
• Conway polynomial
• Field
• Minimal polynomial
• Embedding
• Model theory
• Factorization of polynomials
• Duality

Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation Lucas Dixon1 and Ross Duncan2 1

Source URL: dream.inf.ed.ac.uk

Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of

Source URL: www.jens-otten.de

Bright N-Soliton Solutions to the Vector Hirota Equation from Nonlinear Optics with Symbolic Computation Tao Xua,b , Bo Tiana,b,c , and Feng-Hua Qia,b a b c

Source URL: www.znaturforsch.com

This is a prepublication version of a paper that appeared in LISP AND SYMBOLIC COMPUTATION: An International Journal, 6, 259–288, 1993 c 1993 Kluwer Academic Publishers – Manufactured in The Netherlands Lambda-Calcul

Source URL: www.cs.yale.edu

J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

Source URL: www.math.ru.nl

• Algebra
• Mathematics
• Abstract algebra
• Universal algebra
• Mathematical structures
• Mathematical logic
• Algebraic structures
• Magma
• Sigma-algebra
• Structure
• F-algebra
• Model theory

J. Symbolic Computation, 97–112 doi:jscoAvailable online at http://www.idealibrary.com on Class Number Relations from a Computational Point of View

Source URL: www.math.ru.nl

• Algebra
• Abstract algebra
• Group theory
• Mathematics
• Index of a subgroup
• Regular icosahedron
• Conjugacy class
• Group action
• Algebraic number field
• Coset
• Splitting of prime ideals in Galois extensions
• Polar coordinate system

join today! SIGSAM & ACM www.sigsam.org www.acm.org

Source URL: www.sigsam.org

• Association for Computing Machinery
• Computer algebra systems
• Computer algebra
• Computer science
• SIGSAM
• International Symposium on Symbolic and Algebraic Computation
• Symbolic computation
• Communications of the ACM
• ALTRAN
• Symbolic Manipulation Program

Author manuscript, published in "Journal of Symbolic Computation 46, 1402" DOI : j.jscHomotopy techniques for multiplication modulo triangular sets

Source URL: specfun.inria.fr